union{-}deq($A$;$B$;$a$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$sumdeq($a$;$b$)$,\,$sum{-}deq($A$;$B$;$a$;$b$)$\rangle$